[INFO] cloning repository https://github.com/Hexadecimaaal/hexcalc
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Hexadecimaaal/hexcalc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 727258bdd4b4e160960c0b441fc91f76d93dbd37
[INFO] checking Hexadecimaaal/hexcalc against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Hexadecimaaal/hexcalc on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Hexadecimaaal/hexcalc
[INFO] finished tweaking git repo https://github.com/Hexadecimaaal/hexcalc
[INFO] tweaked toml for git repo https://github.com/Hexadecimaaal/hexcalc written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Hexadecimaaal/hexcalc already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] faf626fe65d757c5bd7f0203f253b63bab56296a1e9bd6c814d75ccaaf511f35
[INFO] running `Command { std: "docker" "start" "-a" "faf626fe65d757c5bd7f0203f253b63bab56296a1e9bd6c814d75ccaaf511f35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "faf626fe65d757c5bd7f0203f253b63bab56296a1e9bd6c814d75ccaaf511f35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "faf626fe65d757c5bd7f0203f253b63bab56296a1e9bd6c814d75ccaaf511f35", kill_on_drop: false }`
[INFO] [stdout] faf626fe65d757c5bd7f0203f253b63bab56296a1e9bd6c814d75ccaaf511f35
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5f632b788b565880b7c0934b176c467627f059a92eab22c8d4e562adf4582a9f
[INFO] running `Command { std: "docker" "start" "-a" "5f632b788b565880b7c0934b176c467627f059a92eab22c8d4e562adf4582a9f", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.38
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]    Compiling syn v1.0.92
[INFO] [stderr]    Compiling libm v0.2.2
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]     Checking nb v1.0.0
[INFO] [stderr]    Compiling cortex-m v0.7.4
[INFO] [stderr]     Checking nb v0.1.3
[INFO] [stderr]     Checking void v1.0.2
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]     Checking embedded-hal v0.2.7
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-rational v0.3.2
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]     Checking vcell v0.1.3
[INFO] [stderr]    Compiling cortex-m-rt v0.7.1
[INFO] [stderr]     Checking volatile-register v0.2.1
[INFO] [stderr]    Compiling bare-metal v0.2.5
[INFO] [stderr]     Checking bitfield v0.13.2
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling debug-helper v0.3.13
[INFO] [stderr]     Checking usb-device v0.2.8
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]    Compiling crc-any v2.4.2
[INFO] [stderr]    Compiling critical-section v0.2.7
[INFO] [stderr]    Compiling rp2040-pac v0.3.0
[INFO] [stderr]    Compiling usbd-hid-descriptors v0.1.1
[INFO] [stderr]    Compiling rp2040-boot2 v0.2.0
[INFO] [stderr]     Checking bare-metal v1.0.0
[INFO] [stderr]     Checking arrayvec v0.7.2
[INFO] [stderr]    Compiling paste v1.0.7
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking encode_unicode v0.3.6
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]     Checking num-complex v0.3.1
[INFO] [stderr]     Checking usbd-serial v0.1.1
[INFO] [stderr]     Checking linked_list_allocator v0.8.11
[INFO] [stderr]     Checking alloc-cortex-m v0.4.2
[INFO] [stderr]     Checking num v0.3.1
[INFO] [stderr]     Checking embedded-time v0.12.1
[INFO] [stderr]     Checking ssmarshal v1.0.0
[INFO] [stderr]    Compiling num_enum_derive v0.5.7
[INFO] [stderr]    Compiling cortex-m-rt-macros v0.7.0
[INFO] [stderr]    Compiling usbd-hid-macros v0.5.2
[INFO] [stderr]     Checking usbd-hid v0.5.2
[INFO] [stderr]     Checking num_enum v0.5.7
[INFO] [stderr]     Checking pio v0.2.0
[INFO] [stderr]     Checking rp2040-hal v0.4.0
[INFO] [stderr]     Checking rp-pico v0.3.0
[INFO] [stderr]     Checking hexcalc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib/mod.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib/mod.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:152:25
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, box body.subst(name, to)?))
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, Box::new(body.subst(name, to)?)))
[INFO] [stdout]     |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:152:25
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, box body.subst(name, to)?))
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, Box::new(body.subst(name, to)?)))
[INFO] [stdout]     |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:32
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(Box::new(func.subst(name, to)?), box val.subst(name, to)?)),
[INFO] [stdout]     |                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:59
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, Box::new(val.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:33
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(Box::new(fst.subst(name, to)?), box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:59
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, Box::new(snd.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:32
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(Box::new(func.subst(name, to)?), box val.subst(name, to)?)),
[INFO] [stdout]     |                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:174:9
[INFO] [stdout]     |
[INFO] [stdout] 174 |         box with.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 174 |         Box::new(with.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:175:9
[INFO] [stdout]     |
[INFO] [stdout] 175 |         box inl.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 175 |         Box::new(inl.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:176:9
[INFO] [stdout]     |
[INFO] [stdout] 176 |         box inr.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 176 |         Box::new(inr.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:31
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(Box::new(func.red()?), box val)),
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:48
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, Box::new(val))),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(box fst.red().unwrap(), snd))
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(Box::new(fst.red().unwrap()), snd))
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:209:24
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, box snd.red()?))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, Box::new(snd.red()?)))
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:214:24
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:215:24
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:218:38
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(box e.red()?, inl, inr)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(Box::new(e.red()?), inl, inr)),
[INFO] [stdout]     |                                      ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:220:24
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:221:24
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:40
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(Box::new(fun), box top)))
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:49
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, Box::new(top))))
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:59
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, Box::new(val.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:51:11
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(box Incomplete(incomplete))
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(Box::new(Incomplete(incomplete)))
[INFO] [stdout]    |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:97:22
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| box Unbound(Type::EVar(evar.to_string())))?;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| Box::new(Unbound(Type::EVar(evar.to_string()))))?;
[INFO] [stdout]    |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(box Untyped(var.to_string()))
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(Box::new(Untyped(var.to_string())))
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:163:9
[INFO] [stdout]     |
[INFO] [stdout] 163 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 163 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 166 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:183:21
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, box a)
[INFO] [stdout]     |                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, Box::new(a))
[INFO] [stdout]     |                     ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:185:21
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, box a.instantiate_uvar(uvar, evar))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, Box::new(a.instantiate_uvar(uvar, evar)))
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:36
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:54
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                      ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:33
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(Box::new(fst.subst(name, to)?), box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:34
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                  ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:59
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, Box::new(snd.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:174:9
[INFO] [stdout]     |
[INFO] [stdout] 174 |         box with.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 174 |         Box::new(with.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:175:9
[INFO] [stdout]     |
[INFO] [stdout] 175 |         box inl.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 175 |         Box::new(inl.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:52
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:176:9
[INFO] [stdout]     |
[INFO] [stdout] 176 |         box inr.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 176 |         Box::new(inr.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:38
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                      ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:31
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(Box::new(func.red()?), box val)),
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:56
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:212:44
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, box ty.subst(ctx)),
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, Box::new(ty.subst(ctx))),
[INFO] [stdout]     |                                            ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:48
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, Box::new(val))),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(box fst.red().unwrap(), snd))
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(Box::new(fst.red().unwrap()), snd))
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:209:24
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, box snd.red()?))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, Box::new(snd.red()?)))
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:214:24
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:270:15
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(box Cyclic(EVar(evar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(Box::new(Cyclic(EVar(evar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:215:24
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:276:40
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:280:40
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:218:38
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(box e.red()?, inl, inr)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(Box::new(e.red()?), inl, inr)),
[INFO] [stdout]     |                                      ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:220:24
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:291:15
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(box Cyclic(UVar(uvar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(Box::new(Cyclic(UVar(uvar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:221:24
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:297:40
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:40
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(Box::new(fun), box top)))
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:301:40
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:49
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, Box::new(top))))
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:355:21
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(box Subtype(l.clone(), r.clone())),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(Box::new(Subtype(l.clone(), r.clone()))),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:51:11
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(box Incomplete(incomplete))
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(Box::new(Incomplete(incomplete)))
[INFO] [stdout]    |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:23
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:97:22
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| box Unbound(Type::EVar(evar.to_string())))?;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| Box::new(Unbound(Type::EVar(evar.to_string()))))?;
[INFO] [stdout]    |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:51
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(box Untyped(var.to_string()))
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(Box::new(Untyped(var.to_string())))
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:22
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:50
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:163:9
[INFO] [stdout]     |
[INFO] [stdout] 163 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 163 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:24
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 166 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:52
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:23
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:51
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:22
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:183:21
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, box a)
[INFO] [stdout]     |                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, Box::new(a))
[INFO] [stdout]     |                     ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:50
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:185:21
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, box a.instantiate_uvar(uvar, evar))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, Box::new(a.instantiate_uvar(uvar, evar)))
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:24
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:36
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:52
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:54
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                      ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:34
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                  ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:525:15
[INFO] [stdout]     |
[INFO] [stdout] 525 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 526 | |             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 | |             Type::UVar(s.to_string()),
[INFO] [stdout] 528 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 525 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 526 +             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 +             Type::UVar(s.to_string()),
[INFO] [stdout] 528 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:52
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:534:40
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| box Cyclic(uvar, (*ty).clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| Box::new(Cyclic(uvar, (*ty).clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:38
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                      ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:547:15
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 548 | |             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 | |             Type::EVar(s.to_string()),
[INFO] [stdout] 550 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 548 +             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 +             Type::EVar(s.to_string()),
[INFO] [stdout] 550 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:56
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:556:13
[INFO] [stdout]     |
[INFO] [stdout] 556 |           Err(box Cyclic(
[INFO] [stdout]     |  _____________^
[INFO] [stdout] 557 | |           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 | |           Type::EVar(s.to_string()),
[INFO] [stdout] 559 | |         ))
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 556 ~         Err(Box::new(Cyclic(
[INFO] [stdout] 557 +           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 +           Type::EVar(s.to_string()),
[INFO] [stdout] 559 ~         )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:212:44
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, box ty.subst(ctx)),
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, Box::new(ty.subst(ctx))),
[INFO] [stdout]     |                                            ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:24
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(Box::new(Type::EVar(evar1)), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:47
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), Box::new(Type::EVar(evar2))))
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:47
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(Box::new(fst.infer(ctx)?), box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:68
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, Box::new(snd.infer(ctx)?))),
[INFO] [stdout]     |                                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:17
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(Box::new(EVar(eva.clone())), box EVar(evb.clone())),
[INFO] [stdout]     |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:40
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), Box::new(EVar(evb.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:17:13
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = box Lam("y".into(), X.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = Box::new(Lam("y".into(), X.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = box Lam("x".into(), EXPR0.clone()); // \x. \y. x
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = Box::new(Lam("x".into(), EXPR0.clone())); // \x. \y. x
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = box App(EXPR1.clone(), A.clone()); // (\x. \y. x) a
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = Box::new(App(EXPR1.clone(), A.clone())); // (\x. \y. x) a
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:26:17
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = box App(EXPR1.clone(), B.clone()); // (\x. \y. x) b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = Box::new(App(EXPR1.clone(), B.clone())); // (\x. \y. x) b
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = box App(EXPR2.clone(), B.clone()); // (\x. \y. x) a b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = Box::new(App(EXPR2.clone(), B.clone())); // (\x. \y. x) a b
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:63:17
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = box Cons(A.clone(), B.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = Box::new(Cons(A.clone(), B.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = box Inl(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = Box::new(Inl(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = box Inr(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = Box::new(Inr(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = box Cons(X.clone(), EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = Box::new(Cons(X.clone(), EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:270:15
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(box Cyclic(EVar(evar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(Box::new(Cyclic(EVar(evar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:276:40
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:280:40
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:291:15
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(box Cyclic(UVar(uvar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(Box::new(Cyclic(UVar(uvar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:297:40
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:301:40
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:355:21
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(box Subtype(l.clone(), r.clone())),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(Box::new(Subtype(l.clone(), r.clone()))),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:23
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:51
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:22
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:50
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:24
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:52
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:23
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:51
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:22
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:50
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:24
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:52
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:525:15
[INFO] [stdout]     |
[INFO] [stdout] 525 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 526 | |             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 | |             Type::UVar(s.to_string()),
[INFO] [stdout] 528 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 525 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 526 +             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 +             Type::UVar(s.to_string()),
[INFO] [stdout] 528 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:534:40
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| box Cyclic(uvar, (*ty).clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| Box::new(Cyclic(uvar, (*ty).clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:547:15
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 548 | |             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 | |             Type::EVar(s.to_string()),
[INFO] [stdout] 550 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 548 +             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 +             Type::EVar(s.to_string()),
[INFO] [stdout] 550 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:556:13
[INFO] [stdout]     |
[INFO] [stdout] 556 |           Err(box Cyclic(
[INFO] [stdout]     |  _____________^
[INFO] [stdout] 557 | |           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 | |           Type::EVar(s.to_string()),
[INFO] [stdout] 559 | |         ))
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 556 ~         Err(Box::new(Cyclic(
[INFO] [stdout] 557 +           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 +           Type::EVar(s.to_string()),
[INFO] [stdout] 559 ~         )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:24
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(Box::new(Type::EVar(evar1)), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:47
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), Box::new(Type::EVar(evar2))))
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:47
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(Box::new(fst.infer(ctx)?), box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:68
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, Box::new(snd.infer(ctx)?))),
[INFO] [stdout]     |                                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:17
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(Box::new(EVar(eva.clone())), box EVar(evb.clone())),
[INFO] [stdout]     |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:40
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), Box::new(EVar(evb.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:17:13
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = box Lam("y".into(), X.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = Box::new(Lam("y".into(), X.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = box Lam("x".into(), EXPR0.clone()); // \x. \y. x
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = Box::new(Lam("x".into(), EXPR0.clone())); // \x. \y. x
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = box App(EXPR1.clone(), A.clone()); // (\x. \y. x) a
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = Box::new(App(EXPR1.clone(), A.clone())); // (\x. \y. x) a
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:26:17
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = box App(EXPR1.clone(), B.clone()); // (\x. \y. x) b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = Box::new(App(EXPR1.clone(), B.clone())); // (\x. \y. x) b
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = box App(EXPR2.clone(), B.clone()); // (\x. \y. x) a b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = Box::new(App(EXPR2.clone(), B.clone())); // (\x. \y. x) a b
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:63:17
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = box Cons(A.clone(), B.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = Box::new(Cons(A.clone(), B.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = box Inl(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = Box::new(Inl(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = box Inr(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = Box::new(Inr(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = box Cons(X.clone(), EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = Box::new(Cons(X.clone(), EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]  --> src/lib/expr.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]  --> src/lib/expr.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use crate::expr::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]  --> src/lib/state.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use crate::typing::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]  --> src/lib/expr.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]  --> src/lib/expr.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use crate::expr::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]  --> src/lib/state.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use alloc::boxed::Box;
[INFO] [stdout]  --> src/lib/typing.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 + use crate::typing::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `std` in the list of imported crates
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]  --> src/lib/tests.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 +   use alloc::boxed::Box;
[INFO] [stdout]   |
[INFO] [stdout] help: if you import `Box`, refer to it directly
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![no_std]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 90 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0433, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hexcalc` (lib) due to 91 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 91 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0433, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hexcalc` (lib test) due to 92 previous errors
[INFO] running `Command { std: "docker" "inspect" "5f632b788b565880b7c0934b176c467627f059a92eab22c8d4e562adf4582a9f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f632b788b565880b7c0934b176c467627f059a92eab22c8d4e562adf4582a9f", kill_on_drop: false }`
[INFO] [stdout] 5f632b788b565880b7c0934b176c467627f059a92eab22c8d4e562adf4582a9f
